Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
641	Microsoft Word - mc-01.doc Add to Reading List Source URL: www.wseas.us Language: English - Date: 2008-11-15 06:08:18 Central processing unit Computer programming Debuggers Instruction set simulator Simulation software Random test generator SystemVerilog Functional verification Code generation Computing Electronic engineering Software engineering
642	Document Number: RRRP-7200-EBEAN-008-REV0 Revision: 0 Replacement Research Reactor Project VERIFICATION OF DESIGN, Add to Reading List Source URL: www.arpansa.gov.au Language: English - Date: 2004-11-02 23:39:24 INVAP Science and technology in Argentina Software testing Research reactor Test plan Australian Nuclear Science and Technology Organisation Ship commissioning Quality assurance Construction Nuclear technology Nuclear physics Energy
643	Research and Regions Workshop, Friday 15 June[removed]Verification: Priority Discussion Points Beth Ebert and Grahame Reader Document Goals To describe the current status of the verification development work Add to Reading List Source URL: cawcr.gov.au Language: English - Date: 2012-06-13 07:35:04 Software quality Systems engineering Verification and validation Evaluation Science Validation Technology Pharmaceutical industry Validity Formal methods
644	Overview document for HERMES commissioning and science verification Gayandhi De Silva and Dan Zucker Focus: The Focus of WG8 is to plan and carry out commissioning projects to test HERMES system and software. This includ Add to Reading List Source URL: www.mso.anu.edu.au Language: English - Date: 2014-01-31 00:35:01 Astronomical surveys European Space Agency 69230 Hermes Hermes Conrad 2dF Galaxy Redshift Survey Hermes Globular cluster Planetary science Religion Greek mythology
645	Qualification Software Life Cycle Data The Qualification Software Life Cycle Data provides a set of reports addressing the development process of AbsInt tools. These reports are particularly useful for certification acco Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-01-19 06:15:30 Electronics Computing Embedded systems Software requirements Systems engineering DO-178B Avionics software Life-critical system Verification Avionics Software development Safety
646	ISSUE 38 \| OCTOBER[removed]INSIDE Taking car smarts to Detroit National Map Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:57 Academia L4 microkernel family Red Lizard Software University of New South Wales Formal verification University of Melbourne Research Applied mathematics Open Kernel Labs Association of Commonwealth Universities NICTA Gernot Heiser
647	On user, process and model oriented warning verification Martin Göber Dept. Weather Forecasting Deutscher Wetterdienst DWD Martin.Goeber (at) dwd.de Add to Reading List Source URL: www.cawcr.gov.au Language: English - Date: 2011-12-13 21:15:28 RC-5 Deutscher Wetterdienst System software Software Computing Inferno Rc
648	Tokeneer: Beyond Formal Program Verification Yannick Moy1 , Angela Wallenburg2 1: AdaCore, 46 rue d’Amsterdam, F[removed]Paris (France), [removed] 2: Altran Praxis, 20 Manvers Street, Bath BA1 1PX (United K Add to Reading List Source URL: www.open-do.org Language: English - Date: 2010-05-02 12:49:52 Procedural programming languages Ada programming language SPARK Program analysis Cross-platform software Ada Static program analysis C Software verification Computing Software engineering Computer programming
649	VERIFICATION OF AUTOMATIC WINDS AND HEIGHTS WITH ASYNCHRONOUS STEREO ANALYSIS G. Garrett Campbell1 and Gail Dengel2 1 Cooperative Institute for Research in the Atmosphere, Add to Reading List Source URL: cimss.ssec.wisc.edu Language: English - Date: 2010-04-06 09:04:13 Clouds Earth sciences graphics software Computational science Cooperative Institute for Meteorological Satellite Studies Cloud Wind VisAD Geostationary Operational Environmental Satellite Weather satellite Atmospheric sciences Meteorology Cloud top
650	Title of the Paper (18pt Times New Roman, Bold) Add to Reading List Source URL: www.wseas.us Language: English - Date: 2007-10-22 11:12:46 Source code Central processing unit Instruction set architectures Code generation Compiler construction Subroutine Random test generator Processor register Functional verification Computing Software engineering Computer programming

UPDATE